package sat;

/**
 * @author bawey
 */
public class LiteralCNF {
    private boolean negated;
    private String symbol;
    
    /**
     * Konstruktor klasy reprezentującej literał
     * @param s symbol literału
     * @param n true, jeśli literał ma być zanegowany
     */
    public LiteralCNF(String s, boolean n){
        negated=n; symbol=s;
    }
    
    public String getSymbol(){
        return symbol;
    }
    
    public boolean isNegated(){
        return negated;
    }
    
    public String toString(){
        return (negated?"~":"")+symbol;
    }
}
